формализовать язык

См. также в других словарях:

• ФОРМАЛИЗОВАТЬ — ФОРМАЛИЗОВАТЬ, зую, зуешь; ованный; совер. и несовер. (книжн.). Представить ( влять) содержательную сторону явления в виде формальной системы или исчисления. Формализованный язык (система специализированных языковых средств или их символов с… …   Толковый словарь Ожегова

• формализовать — зую, зует, несов. и сов. , что (фр. formaliser …   Словарь иностранных слов русского языка

• ПРЕДМЕТНЫЙ ЯЗЫК — язык, являющийся предметом изучения. При формализации какой либо содержательной теории различают два языка. Один это язык формализуемой теории, или П. я., задаваемый правилами построения выражений П. я. и семантическими правилами, определяющими,… …   Математическая энциклопедия

• ДРАКОН (алгоритмический язык) — У этого термина существуют и другие значения, см. Дракон (значения). Пример блок схемы алгоритма на языке ДРАКОН  дракон схемы ДРАКОН (Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность)  визуальный… …   Википедия

• АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык программирования, формальный язык, предназначенный для описания вычислительных процессов, или, что то же, для записи алгоритмов, подлежащих выполнению на вычислительных машинах.. Различают проблемно ориентированные А. я. (А. я.… …   Математическая энциклопедия

• НЕОПОЗИТИВИЗМ — одно из основных направлений философии XX в. Возник и развивался как течение, претендующее на анализ и решение актуальных философско методологических проблем, выдвинутых развитием современной науки. Это вопросы о роли знаково символических… …   Современная западная философия. Энциклопедический словарь

• Логический позитивизм — (от лат. positivus – положительный) – философское течение в рамках неопозитивизма ХХ века, стремившееся полностью формализовать язык науки с помощью логики и математики …   Философия науки. Эпистемология. Методология. Культура

• ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

• Эстетика — составляет особую отрасль философии, занимающуюся красотой и искусством. Самый термин Э. происходит от греческого αίσθετικός, что значит чувственный, и в таком смысле встречается еще у самого основателя науки о прекрасном, Канта, в Критике… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ДРАКОН — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/28 сентября 2012. Пока процесс обсуждения не завершён, статью мож …   Википедия

• Знаковые теории языка — Знаковые теории языка  совокупность теоретических положений (идей, гипотез) о строении языка, рассматриваемого как система знаков (см. Знак языковой), и об отношении его к внеязыковой действительности. З. т. я. не исчерпывают всех аспектов языка …   Лингвистический энциклопедический словарь